Reactive Systems in Physical Environments
نویسنده
چکیده
In this paper we propose an architecture as a framework for decomposition and analysis of hybrid systems. We represent a computer system's behaviour in interaction with its physical environment using modular models and the combination of discrete and continuous modelling techniques. To this end, a modular extention of timed transition systems, Hybrid Transition Systems, are presented. For this formalism a parallel composition operator and an operational semantics is provided. Two novel aspects of the formalism are separation of the input and state variables, and adoption of algebraic equations for description of the change in the value for some continuous variables. The paper includes a brief description of example applications and a discussion of hybrid transition systems without a run.
منابع مشابه
Efficiency of Electrocoagulation for Removal of Reactive Yellow 14 from Aqueous Environments
Background & Aims of the Study: Discharge of textile industry colored wastewater without enough treatment into natural water resources cause serious pollution. Most of the conventional wastewater treatment methods are not effective enough to remove these dyes from wastewater. In this study, efficiency of electrocoagulation process with iron electrodes for treatment of Reactive Yellow 14 dye...
متن کاملInvestigation of antimicrobial properties of silver nanoparticles (AgNPs) to control diseases and health management in aquaculture systems
Today, the role of aquaculture in food production, economic development and food security is well known, but this industry still faces many challenges, including the prevalence of pathogens in farming systems. So far, various chemical, physical and biological methods have been used to control and prevent the spread of pathogens in farming environments, some of which are unfortunately not widely...
متن کاملA New Procedure for Reactive Power Market Clearing Considering Distributed Energy Resources
Traditionally, conventional generation unit was used to provide ancillary services e.g. reactive power support, and spinning reserve. Nonetheless, with the emergence of highly penetrated distributed energy resources (DERs) systems and considering how beneficial they can be; it appears reasonable to use them as reactive power providers. Therefore, this paper introduces a new procedure for DERs t...
متن کاملDesigning Fuzzy Controller for Air Conditioning Systems in order to Save Energy Consumption and Provide Optimal Conditions in Closed Environments (Indoors)
Today air conditioning systems have been considered by all people as one of welfarerequirements in buildings and closed environments. Since a considerable part of energy lossoccurs in ordinary modern systems, new strategies and solutions are developed in the field inorder to save amount of energy consumption and observe environmental considerations. Fuzzycontrol is one of these methods which pr...
متن کاملMultiagents Systems for Virtual Environment for Training. Application to Fire-fighting
This study concerns virtual environments for training in operational conditions. The principal developed idea is that these environments are heterogeneous and open multiagent systems. The MASCARET model is proposed to organize the interactions between agents and to give them reactive, cognitive and social abilities to simulate the physical and social environment. The physical environment repres...
متن کاملOn Virtual and Mixed Reality Intelligent Environments
This special issue addresses core topics on Virtual and Mixed Reality Intelligent Environments. The conventional definitions for virtual and mixed reality systems, e.g., in [1-3], do not require that such environments should be intelligent or even reactive. However, most useful applications of virtual reality can be considered intelligent in the sense that the environment changes and reacts to ...
متن کامل